منابع مشابه
Reasoning About Method Calls in Interface Specifications
class Inconsistent { /*@ normal_behavior @ ensures \result == 0 && @ \result == 1; @*/ /*@ pure @*/ abstract int wrong(); /*@ normal_behavior @ assignable \nothing; @ ensures \result == 6 + wrong() && @ \result == 5 + wrong(); @*/ int bar() { return 6; } } Figure 6: The specification of wrong is not satisfiable. theory used to verify methods that use m in their specification. If this background...
متن کاملReasoning About Method Calls in JML Specifications
The Java Modeling Language, JML, is an interface specification language that uses side-effect free Java expressions to describe program behavior. In particular, JML specifications can contain calls to side-effect free methods. To verify programs w.r.t. JML specifications, JML expressions have to be encoded in a program logic. This encoding is non-trivial for method calls. In this paper, we illu...
متن کاملReasoning about Asynchronous Method Calls and Inheritance
This paper considers the problem of reusing synchronization constraints for concurrent objects with asynchronous method calls. Our approach extends the Creol language with a specialized composition operator expressing synchronized merge. The use of synchronized merge allows synchronization classes to be added and combined with general purpose classes by means of multiple inheritance. The paper ...
متن کاملUnderstanding how police officers think about mental/emotional disturbance calls.
Police officers frequently respond to calls involving persons with mental illnesses and in doing so, they are key gatekeepers of access to mental health treatment as well as entry into the criminal justice system. Programs such as Crisis Intervention Teams (CIT) are being implemented across the United States and elsewhere to train officers to respond more effectively and facilitate access to me...
متن کاملPatient complaints about physician behaviors: a qualitative study.
PURPOSE Health care institutions are required to routinely collect and address formal patient complaints. Despite the availability of this feedback, no published efforts explore such data to improve physician behavior. The authors sought to determine the usefulness of patient complaints by establishing meaningful categories and exploring their epidemiology. METHOD A register of formal, unsoli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Direct, Data and Digital Marketing Practice
سال: 2012
ISSN: 1746-0166,1746-0174
DOI: 10.1057/dddmp.2012.32